A  B(s) == if q_le(A(s);B(s)) then 1 else 0 fi  

latex

Definitions	x.A(x), if b then t else f fi , q_le(r;s), f(a), #$n
FDL editor aliases	rv-qle